principal anti automorphism

执自同构